<HTML>
<HEAD>
<TITLE></TITLE>
</HEAD>
<BODY>
Core Joe-E language features such as the Joe-E verified interfaces and methods for access to the overlay type system.
</BODY>
</HTML>
